(declare-const i7 Int)
(declare-fun st10 () (Set Int))
(assert (is_singleton st10))
(assert (member (- i7) st10))
(check-sat)
